descending induction

递减归纳(法)